Merge branch 'ebassi/annotations' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Sun, 31 May 2020 15:18:36 +0000 (15:18 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Sun, 31 May 2020 15:18:36 +0000 (15:18 +0000)
commit55b9aa03097c0dbbafd387ef64dd7397c46fee82
tree68ffd9dc8dfdb0cc3a2a5102957df9db829cdde3
parent93353888ca787a4c94a39751beccc160d85f9a61
parentb9269d5644ce80ae751535a02869602706868baa
Merge branch 'ebassi/annotations' into 'master'

Ebassi/annotations

See merge request GNOME/gtk!1996